$\forall$$A$:Type, $I$:MaInterface($A$). ma{-}interface{-}non{-}degenerate($I$) $\in$ $\mathbb{P}$